An L-like model containing very large cardinals
نویسندگان
چکیده
منابع مشابه
An L-like model containing very large cardinals
We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with a strong form of diamond and a version of square consistent with supercompactness. This generalises a result due to the first author. There are no restrictions in our model on the structure of the class of supercompact cardinals.
متن کاملLarge Cardinals and L-like Universes
There are many different ways to extend the axioms of ZFC. One way is to adjoin the axiom V = L, asserting that every set is constructible. This axiom has many attractive consequences, such as the generalised continuum hypothesis (GCH), the existence of a definable wellordering of the class of all sets, as well as strong combinatorial principles, such as ♦, and the existence of morasses. Howeve...
متن کاملVery Large Cardinals and Combinatorics
Large cardinals are currently one of the main areas of investigation in Set Theory. They are possible new axioms for mathematics, and they have been proven essential in the analysis of the relative consistency of mathematical propositions. It is particularly convenient the fact that these hypotheses are neatly well-ordered by consistency strength, therefore giving a meaningful tool of compariso...
متن کاملLarge Cardinals and L - Like Combinatorics or , “ No Worries ! ” Andrew Brooke - Taylor July 23 , 2007
Acknowledgements It has been a long road to the production of this dissertation, and I have many people to thank. I have been privileged to have not one but three great advisors. Haynes Miller was very patient with me while I was finding my way to my true mathematical calling. Gerald Sacks took me in and helped me start my quest to become a set theorist, with sage advice and his inimitable sens...
متن کاملRamsey-like cardinals II
This paper continues the study of the Ramsey-like large cardinals introduced in [Git09] and [WS08]. Ramsey-like cardinals are defined by generalizing the “existence of elementary embeddings” characterization of Ramsey cardinals. A cardinal κ is Ramsey if and only if every subset of κ can be put into a κ-size transitive model of ZFC for which there exists a weakly amenable countably complete ult...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2008
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-008-0071-9